מקור משנה בכורות א׳:ז׳
7 לֹא רָצָה לִפְדּוֹתוֹ, עוֹרְפוֹ בְקוֹפִיץ מֵאַחֲרָיו וְקוֹבְרוֹ. מִצְוַת פְּדִיָּה קוֹדֶמֶת לְמִצְוַת עֲרִיפָה, שֶׁנֶּאֱמַר שמות יג, וְאִם לֹא תִפְדֶּה וַעֲרַפְתּוֹ. מִצְוַת יְעִידָה קוֹדֶמֶת לְמִצְוַת פְּדִיָּה, שֶׁנֶּאֱמַר שם כא, אֲשֶׁר לֹא יְעָדָהּ וְהֶפְדָּהּ. מִצְוַת יִבּוּם קוֹדֶמֶת לְמִצְוַת חֲלִיצָה, בָּרִאשׁוֹנָה, שֶׁהָיוּ מִתְכַּוְּנִין לְשֵׁם מִצְוָה. וְעַכְשָׁיו שֶׁאֵין מִתְכַּוְּנִין לְשֵׁם מִצְוָה, אָמְרוּ מִצְוַת חֲלִיצָה קוֹדֶמֶת לְמִצְוַת יִבּוּם. מִצְוַת גְּאֻלָּה בָּאָדוֹן הוּא קוֹדֵם לְכָל אָדָם, שֶׁנֶּאֱמַר ויקרא כז, וְאִם לֹא יִגָּאֵל וְנִמְכַּר בְּעֶרְכֶּךְ:
פירוש עיקר תוספות יום טוב על משנה בכורות א׳:ז׳
7 ל לִפְדּוֹתוֹ. וְלֹא לִתְּנוֹ לַכֹּהֵן. טוּר:
8 לא וּכְלוֹמַר לְדִבְרֵי הַכֹּל. דְּלַהֲלָכָה אַף מֵחַיִּים אָסוּר בַּהֲנָאָה. וְעַיֵּן תּוֹסְפוֹת יוֹם טוֹב:
9 לב הָכִי תְּנַן בְּמִשְׁנָה ב'‏ פֶּרֶק ח'‏ דַּעֲרָכִין. וּפָרֵיךְ בַּגְּמָרָא דְּתֵפּוּק לֵיהּ מִמִּצְוַת גְּאֻלָּה בָּאָדוֹן. וּמְשָׁנֵי, חֲדָא וְעוֹד קָאָמַר: